int change(ref int a) {
	write(a);
	a <- 5;
	result <- a;
}

int run() {
	int a <- 1;
	write(a);
	write(change(a));
	write(a);
}
